Program optimization

Results: 736



#Item
151Science / Simulation / Computer simulation / Mathematical optimization / Flow network / Program optimization / Evacuation process simulation / AnyLogic / Operations research / Applied mathematics / Software

Combining pedestrian simulation with a network flow optimization to support security staff in handling an evacuation of a soccer stadium Angelika Kneidl1, Markus Thiemann2, Dirk Hartmann3, André Borrmann1 1

Add to Reading List

Source URL: www.cms.bgu.tum.de

Language: English - Date: 2014-12-18 07:59:05
152Symbol / Continuous function

Deutsche Forschungsgemeinschaft Priority Program 1253 Optimization with Partial Differential Equations N. D. Botkin, K.-H. Hoffmann, N. Mayer and V. L. Turova

Add to Reading List

Source URL: www.am.uni-erlangen.de

Language: English - Date: 2015-05-12 05:22:05
153Computer file formats / Graphics file formats / Open formats / Mathematical optimization / Operations research / Portable Document Format / Program optimization / Science / Optical character recognition / Computing / ISO standards / Computer graphics

PDF compression, OCR, web optimization using a watermarked evaluation copy of CVISION PDFCompressor PDF compression, OCR, web optimization using a watermarked evaluation copy of CVISION PDFCompressor PDF compression,

Add to Reading List

Source URL: www.petfinderfoundation.com

Language: English - Date: 2013-05-07 18:32:39
154Computer file formats / Graphics file formats / Open formats / Mathematical optimization / Operations research / Portable Document Format / Program optimization / Science / Optical character recognition / Computing / ISO standards / Computer graphics

PDF compression, OCR, web optimization using a watermarked evaluation copy of CVISION PDFCompressor PDF compression, OCR, web optimization using a watermarked evaluation copy of CVISION PDFCompressor PDF compression,

Add to Reading List

Source URL: www.discoverstillwater.com

Language: English - Date: 2015-04-29 00:09:34
155File system / Program optimization / Computing / Software / Disk file systems / Ext2 / Patch

UNIVERSITY OF CALIFORNIA Los Angeles Improving File System Consistency and Durability with Patches and BPFS

Add to Reading List

Source URL: www.frostnet.net

Language: English - Date: 2011-05-22 01:06:19
156Applied mathematics / Linear programming / Mathematical optimization / K-means clustering / Cluster analysis / Stochastic / Numerical analysis / Statistics / Mathematics / Operations research

Performance Optimization of a Parallel, Two Stage Stochastic Linear Program Akhil Langer‡ , Ramprasad Venkataraman‡ , Udatta Palekar∗ , Laxmikant V. Kale‡ ‡ Dept of Computer Science, ∗ College of Business Uni

Add to Reading List

Source URL: charm.cs.illinois.edu

Language: English - Date: 2012-10-13 15:37:06
157Programming paradigms / Formal sciences / Association for Computing Machinery / Principles of Programming Languages / Formal methods / International Conference on Logic Programming / Logic programming / International Symposium on Logic-based Program Synthesis and Transformation / Lecture Notes in Computer Science / Computer science / Computing / Software engineering

Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

Add to Reading List

Source URL: www.clip.dia.fi.upm.es

Language: English - Date: 2014-07-12 00:42:10
158Software / Compiler construction / Compiler optimization / Instruction scheduling / Dynamic random-access memory / Compiler / Program optimization / Formal methods / Programming language implementation / Software engineering / Computing

Exploring Circuit Timing-aware Languages and Compilation Giang Hoang Robert Bruce Findler Russ Joseph

Add to Reading List

Source URL: users.eecs.northwestern.edu

Language: English - Date: 2011-03-04 16:19:11
159Mathematical optimization / Numerical software / Applied mathematics / Software licenses / Gurobi / System administration / AMPL / Floating licensing / License / Numerical analysis / Mathematical software / Operations research

Gurobi Optimizer Academic Program Effective 2 October 2013 Free and Significantly Discounted Academic Licenses The free Academic License for Gurobi has all the features and performance of the full Gurobi Optimizer. A fre

Add to Reading List

Source URL: www.gurobi.com

Language: English - Date: 2015-01-09 11:57:04
160Mathematics / Operator theory / Μ operator / Coordinate systems / Functions and mappings / Spectral theory of ordinary differential equations / Mathematical analysis / Symbol / Ordinary differential equation

Deutsche Forschungsgemeinschaft Priority Program 1253 Optimization with Partial Differential Equations N. D. Botkin, K.-H. Hoffmann and V. L. Turova

Add to Reading List

Source URL: www.am.uni-erlangen.de

Language: English - Date: 2015-05-12 05:22:05
UPDATE